Prover: Double Spends
Proves that a double spend occurred.
Two valid transaction proofs must be provided.
- The input metadata for each transaction proof must be different.
- The referenced input metadata (i.e. the spent state element) for each transaction proof must match.